-
-
Notifications
You must be signed in to change notification settings - Fork 40
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
UninterpretedConstOracle
refactor
#2734
Conversation
Codecov Report
@@ Coverage Diff @@
## main #2734 +/- ##
==========================================
+ Coverage 78.82% 78.85% +0.03%
==========================================
Files 464 465 +1
Lines 15879 15895 +16
Branches 2589 2590 +1
==========================================
+ Hits 12516 12534 +18
+ Misses 3363 3361 -2
... and 4 files with indirect coverage changes 📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
import org.scalatestplus.scalacheck.Checkers | ||
|
||
@RunWith(classOf[JUnitRunner]) | ||
class TestUCOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Shortening the class name makes this hard to find (if I'm looking for the tests for UninterpretedConstOracle
).
class TestUCOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { | |
class TestUninterpretedConstOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good point. I'll have to add this manually though to also rename the file.
make fmt-fix
(or had formatting run automatically on all files edited)./unreleased/
for any new functionalityFollowing the pattern laid out in #2709 for
IntOracle
, this PR introduces the same alterations toUninterpretedConstOracle
.